1. Artificial intelligence and heuristic programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence,، Electronic digital computers-- Programming,، Heuristic programming
رده :
Q
335
.
A787
2. Artificial intelligence and heuristic programming
پدیدآورنده: / editors: N. V. Findler [and] Bernard Meltzer
کتابخانه: کتابخانه دانشکده روان شناسی و علوم تربیتی (شهید دقایقی) (تهران)
موضوع: Artificial intelligence,Electronic digital computers - Programming,Heuristic programming
رده :
Q
,
335
, .
A787
3. Automated reasoning: 33 Base research problems
پدیدآورنده: Larry Wos
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
4. Automated reasoning: introduction and applications
پدیدآورنده: )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
5. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
6. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
7. Catalogue of artificial intelligence tools
پدیدآورنده: / edited by Alan Bundy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Artificial intelligence -- Data processing,Robotics,Electronic digital computers -- Programming,Computer programs -- Catalogs
رده :
Q
336
.
C27
1986
8. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages
پدیدآورنده: edited by Michael L. Brodie, John Mylopoulos, Joachim W. schmidt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65O5
1984
9. Programming for artificial intelligence: methods, tools and applecations
پدیدآورنده: Kreutzer, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Artificial intelligence
رده :
QA
76
.
6
.
K735
1990
10. Programming for artificial intelligence: : methods, tools, and applications
پدیدآورنده: Kreutzer, Wolfgang
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming,، Artificial intelligence
رده :
QA
76
.
6
.
K735
1990
